/* @pjs crisp="true"; pauseOnBlur="true"; font="FreeMono.ttf" */
